prime number theorem Theorem (bound for x>55x > 55) Let π(x)\pi(x) denote the number of primes less than some integer xx. For x>55x>55, xlogx≤π(x)≤xlogx−4\frac{x}{\log x} \leq \pi(x)\leq \frac{x}{\log x - 4} References: https://www.chrismusco.com/amlds2023/notes/lecture03.html https://mathworld.wolfram.com/PrimeNumberTheorem.html https://en.wikipedia.org/wiki/Prime_number_theorem https://www.cs.cmu.edu/~goyal/s18/15503/scribe_notes/lecture4.pdf